Перевод: с английского на русский

с русского на английский

импликативная нормальная форма

См. также в других словарях:

  • ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА — пропозициональная форма вида где все С i, i=1, . . . , п, имеют вид каждое С ij, i=1, . . ., п; j=1, . . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно …   Математическая энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»